Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Alain Giorgetti »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Alain Gilberg < Alain Giorgetti < Alain Goupil  Facettes :

List of bibliographic references indexed by Alain Giorgetti

Number of relevant bibliographic references: 41.
[0-20] [0 - 20][0 - 41][20-40]
Ident.Authors (with country if any)Title
000313 (2015-09-25) Noam Zeilberger [France] ; Alain Giorgetti [France]A correspondence between rooted planar maps and normal planar lambda terms
000622 (2015-03) Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France]A rule-based system for automatic decidability and combinability
000659 (2015-01-07) Richard Genestier [France] ; Alain Giorgetti [France] ; Guillaume Petiot [France]Gagnez sur tous les tableaux
000790 (2015) Richard Genestier [France] ; Alain Giorgetti [France] ; Guillaume Petiot [France]Sequential generation of structured arrays and its deductive verification
000885 (2014-11-03) Walid Belkhir [France] ; Alain Giorgetti [France] ; Michel Lenczner [France]A Symbolic Transformation Language and its Application to a Multiscale Method
000961 (2014-09-08) Ivan Enderlin [France] ; Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Alain Giorgetti [France]Praspel: Contract-Driven Testing for PHP using Realistic Domains
000A20 (2014-07-24) Guillaume Petiot [France] ; Nikolai Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France]How Test Generation Helps Software Specification and Deductive Verification in Frama-C
000B59 (2014-05-16) Guillaume Petiot [France] ; Nikolai Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France]StaDy: Deep Integration of Static and Dynamic Analysis in Frama-C
001153 (2013-06-23) Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France]Automatic Decidability: A Schematic Calculus for Theories with Counting Operators
001171 (2013-06-10) Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France]Automatic Decidability for Theories with Counting Operators
001270 (2013-03-22) Ivan Enderlin [France] ; Alain Giorgetti [France] ; Fabrice Bouquet [France]A Constraint Solver for PHP Arrays
001873 (2012-11) Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France]Automatic Decidability for Theories Modulo Integer Offsets
001A62 (2012-06-25) Alain Giorgetti [France] ; Valerio Senni [Italie]Specification and Validation of Algorithms Generating Planar Lehman Words
001B64 (2012-04-17) Ivan Enderlin [France] ; Frédéric Dadeau [France] ; Alain Giorgetti [France] ; Fabrice Bouquet [France]Grammar-Based Testing using Realistic Domains in PHP
001B93 (2012-03-25) Omar Chebaro [France] ; Nikola I Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France]Program Slicing Enhances a Verification Technique Combining Static and Dynamic Analysis
001C02 (2012-03-24) Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France]A Rule-Based Framework for Building Superposition-Based Decision Procedures
002014 (2011-11-07) Ivan Enderlin [France] ; Frédéric Dadeau [France] ; Alain Giorgetti [France] ; Abdallah Ben Othman [France]Praspel: A Specification Language for Contract-Based Testing in PHP
002219 (2011-07-19) Gérard Cécé [France] ; Alain Giorgetti [France]Simulations over Two-Dimensional On-Line Tessellation Automata
002256 (2011-06-30) Omar Chebaro [France] ; Nikolai Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France]The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging
002333 (2011-05-29) Walid Belkhir [France] ; Alain Giorgetti [France]Lazy AC-Pattern Matching for Rewriting
002335 (2011-05-29) Walid Belkhir [France] ; Alain Giorgetti [France]Lazy Rewriting Modulo Associativity and Commutativity

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Alain Giorgetti" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Alain Giorgetti" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Alain Giorgetti
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022